Перевод: с русского на все языки

со всех языков на русский

система типов

Страницы

См. также в других словарях:

  • СИСТЕМА ТИПОВ РАСТИТЕЛЬНОСТИ — см. система пангрегаций …   Словарь ботанических терминов

  • СИСТЕМА —         (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… …   Философская энциклопедия

  • ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… …   Философская энциклопедия

  • система нервная: тип — (тип нервной системы; тип высшей нервной деятельности) совокупность свойств системы нервной, составляющих физиологическую основу индивидуального своеобразия деятельности человека и поведения животных. Понятие о них ввел И. П. Павлов.… …   Большая психологическая энциклопедия

  • Система управления цветом — система программ, методов, преобразователей и измерительных приборов, использующая профиль одних устройств для корректного преобразования (с оптимизаций по критерию минимальные потери ) в цветовые пространства др. устройств. Если калибровка… …   Реклама и полиграфия

  • Система Периметр — Система «Периметр»[1] (Индекс УРВ РВСН  15Э601)  комплекс автоматического управления массированным ответным ядерным ударом, созданный в СССР в разгар холодной войны. Предназначен для гарантированного доведения боевых приказов от высших… …   Википедия

  • Система обнаружения вторжений — (СОВ)  программное или аппаратное средство, предназначенное для выявления фактов неавторизованного доступа в компьютерную систему или сеть либо несанкционированного управления ими в основном через Интернет. Соответствующий английский… …   Википедия

  • Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… …   Большая советская энциклопедия

  • Система автоматизированного проектирования — Система автоматизированного проектирования  автоматизированная система, реализующая информационную технологию выполнения функций проектирования[1], представляет собой организационно техническую систему, предназначенную для автоматизации… …   Википедия

  • Система управления складом — (сокр. от англ. Warehouse Management System  система управления складом)  система управления, обеспечивающая автоматизацию и оптимизацию всех процессов складской работы профильного предприятия. Содержание …   Википедия

  • СИСТЕМА ОРГАНИЗМОВ — Мир живых существ насчитывает не менее 2 млн. видов. Всё это многообразие организмов, изучает систематика. Совр. систематика стремится к созданию эволюционной, или филогенетической, С. о., разрабатываемой на всех таксономич. уровнях, от видового… …   Биологический энциклопедический словарь

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»